package tarantula.experiment.math;

import junit.framework.TestCase;

public class MathFailedTestsSimpleTestsBug3 extends TestCase {
	
	public void test4() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    double[] var1 = new double[] { var0};
	    org.apache.commons.math.linear.OpenMapRealVector var2 = new org.apache.commons.math.linear.OpenMapRealVector(var1);
	    int var3 = var2.getDimension();
	    java.lang.Double var4 = new java.lang.Double(0.0d);
	    double[] var5 = new double[] { var0, var4, var0};
	    org.apache.commons.math.linear.ArrayRealVector var6 = new org.apache.commons.math.linear.ArrayRealVector(var5);
	    java.lang.Double var7 = new java.lang.Double(100.0d);
	    org.apache.commons.math.linear.RealVector var8 = var6.mapPowToSelf((double)var7);
	    org.apache.commons.math.linear.ArrayRealVector var9 = new org.apache.commons.math.linear.ArrayRealVector(var3, var0);
	    org.apache.commons.math.linear.ArrayRealVector var10 = new org.apache.commons.math.linear.ArrayRealVector(var5);
	    org.apache.commons.math.linear.RealVector var11 = var10.mapDivide((double)var0);
	    org.apache.commons.math.linear.RealVector var12 = var9.projection((org.apache.commons.math.linear.RealVector)var2);
	    
	    // Checks the contract:  equals-hashcode on var8 and var11
	    assertTrue("Contract failed: equals-hashcode on var8 and var11", var8.equals(var11) ? var8.hashCode() == var11.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var11 and var8
	    assertTrue("Contract failed: equals-hashcode on var11 and var8", var11.equals(var8) ? var11.hashCode() == var8.hashCode() : true);

	  }
	
	public void test11() throws Throwable {

	    java.lang.Double var0 = new java.lang.Double((-1.0d));
	    java.lang.Double var1 = new java.lang.Double(0.0d);
	    double[] var2 = new double[] { var0, var1, var0};
	    org.apache.commons.math.linear.ArrayRealVector var3 = new org.apache.commons.math.linear.ArrayRealVector(var2);
	    org.apache.commons.math.linear.ArrayRealVector var4 = new org.apache.commons.math.linear.ArrayRealVector(var2);
	    java.lang.Double var5 = new java.lang.Double(100.0d);
	    org.apache.commons.math.linear.RealVector var6 = var4.mapPowToSelf((double)var5);
	    org.apache.commons.math.linear.RealVector var7 = var3.mapDivide((double)var0);
	    boolean var8 = var3.equals((java.lang.Object)var0);
	    
	    // Checks the contract:  equals-hashcode on var6 and var7
	    assertTrue("Contract failed: equals-hashcode on var6 and var7", var6.equals(var7) ? var6.hashCode() == var7.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var7 and var6
	    assertTrue("Contract failed: equals-hashcode on var7 and var6", var7.equals(var6) ? var7.hashCode() == var6.hashCode() : true);

	  }
	
	 public void test13() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double((-1.0d));
		    double[] var1 = new double[] { var0};
		    org.apache.commons.math.linear.OpenMapRealVector var2 = new org.apache.commons.math.linear.OpenMapRealVector(var1);
		    java.lang.Double var3 = new java.lang.Double(0.0d);
		    double[] var4 = new double[] { var0, var3, var0};
		    org.apache.commons.math.linear.ArrayRealVector var5 = new org.apache.commons.math.linear.ArrayRealVector(var4);
		    org.apache.commons.math.linear.RealVector var6 = var5.mapDivide((double)var0);
		    java.lang.Double var7 = new java.lang.Double(100.0d);
		    org.apache.commons.math.linear.RealVector var8 = var5.mapPowToSelf((double)var7);
		    org.apache.commons.math.linear.RealVector var9 = var2.mapPow((double)var0);
		    
		    // Checks the contract:  equals-hashcode on var6 and var8
		    assertTrue("Contract failed: equals-hashcode on var6 and var8", var6.equals(var8) ? var6.hashCode() == var8.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var8 and var6
		    assertTrue("Contract failed: equals-hashcode on var8 and var6", var8.equals(var6) ? var8.hashCode() == var6.hashCode() : true);

		  }
	
}
